docs(archive): preserve PR #4821#4845
Closed
AceHack wants to merge 2 commits into
Closed
Conversation
There was a problem hiding this comment.
Pull request overview
This PR primarily archives the discussion for PR #4821 into docs/pr-discussions/, and also adjusts the Riven launchd heartbeat’s autonomous “gate” prompt/CLI invocation in the Cursor worktree script.
Changes:
- Add a PR-discussion archive markdown record for PR #4821 (metadata + review threads).
- Update
.cursor/bin/riven-loop-tick.tsto run anagent chatgate with a new “trajectory-manager contract” prompt and simplified logging (removing pickup/drain prompt construction).
Reviewed changes
Copilot reviewed 1 out of 2 changed files in this pull request and generated 2 comments.
| File | Description |
|---|---|
| docs/pr-discussions/PR-4821-fix-4780-address-review-comments-on-residuated-lattice-tests.md | Adds the preserved PR discussion archive for PR #4821. |
| .cursor/bin/riven-loop-tick.ts | Updates the Riven launchd loop gate invocation and prompt contract. |
Comment on lines
200
to
206
| if (elapsed >= agentIntervalMs) { | ||
| const prNum = Number(prCount) || 0; | ||
| const workMode = prNum === 0 ? "pickup" : "drain"; | ||
| agentStatus = "running"; | ||
| log(`riven work cycle start run_id=${runId} mode=${workMode} open_prs=${prNum}`); | ||
| log(`riven agent gate start run_id=${runId}`); | ||
|
|
||
| if (dryRun) { | ||
| log(`dry-run: would run riven ${workMode}`); | ||
| log(`dry-run: would run agent gate`); | ||
| agentStatus = "dry-run"; |
Comment on lines
+216
to
+219
| "Walk assigned trajectories. Decompose only what you hit mid-stride.", | ||
| "Produce at least one concrete, actionable claim or small PR scope.", | ||
| "When blocked, create a specific research child the next pickup cannot dodge.", | ||
| "Write your status to ~/.local/share/zeta-broadcasts/riven.md at the end.", |
Member
Author
|
Closing this in favor of a single batched PR for archiving. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This PR preserves the discussion from PR #4821.